A ROS multi-ontology references services: OWL reasoners and application prototyping issues
نویسندگان
چکیده
In this extended abstract, we introduce the ARMOR service, a general-purpose and scalable interface between robot architectures and OWL2 reasoners. ARMOR addresses synchronisation and communication issues among heterogeneous and distributed software components. As a guiding scenario, we consider a prototyping approach for the use of symbolic reasoning in human-robot interaction applications.
منابع مشابه
PROSE: A Plugin-Based Paraconsistent OWL Reasoner
The study of paraconsistent reasoning with ontologies is especially important for the Semantic Web since knowledge is not always perfect within it. Quasi-classical semantics is proven to rationally draw more meaningful conclusions even from an inconsistent ontology with the stronger inference power of paraconsistent reasoning. In our previous work, we have conceived a quasi-classical framework ...
متن کاملBenchmarking DL Reasoners Using Realistic Ontologies
We did a preliminary benchmark on DL reasoners using real world OWL ontologies. First hand experiences on OWL ontologies and reasoning services available to OWL are described and discussed.
متن کاملELK Reasoner: Architecture and Evaluation
ELK is a specialized reasoner for the lightweight ontology language OWL EL. The practical utility of ELK is in its combination of high performance and comprehensive support for language features. At its core, ELK employs a consequence-based reasoning engine that can take advantage of multi-core and multi-processor systems. A modular architecture allows ELK to be used as a stand-alone applicatio...
متن کاملMoRe Semantic Web Applications
We present MoRe – a framework that allows one to extend a domain ontology with a remotely invocable reasoning service applicable to concepts defined in that ontology. Our approach bridges the gap between ontology and application developers. We allow any reasoning service to be wrapped by a MoRe ontology extension, the services ranging from generic logics-based reasoners to specific black box so...
متن کاملPushing the limits of OWL 2 reasoners in ontology alignment repair problems
Ontologies play a key role in the development of the Semantic Web and are being used in many diverse application domains such as biomedicine and e-commerce. An application domain may have been modeled according to different points of view and purposes. This situation usually leads to the development of different ontologies that intuitively overlap, but that use different naming and modeling con...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- CoRR
دوره abs/1706.10151 شماره
صفحات -
تاریخ انتشار 2017